package com.drx.service;

import com.drx.dojo.TabRecord;
import org.omg.CORBA.INTERNAL;

import java.util.Date;
import java.util.List;

public interface ReservationService {
    //定义一个根据楼层和区域获取已经被预约的位置集合
    public List<TabRecord> reservatedSeat(Integer floarNum, String area, Integer beginTime, Integer overTime);
    //定义一个开始预约的方法
    public Integer beginReservation(Integer studentNum,Integer addressFloar,String addressArea,Integer addressNum,Integer beginTime,Integer overTime);
    //定义一个按照学号uid和日期判断是否有有效预约
    public TabRecord effectiveReservation(Integer uid, Date day);
    //定义一个按照学号查询历史预约记录的方法
    public List<TabRecord> selectHistoryByStudentNum(Integer studentNum);
    //定义一个结束预约的方法
    public Integer endReservat(Integer studentNum);
    //定义一个检查过期预约的方法
    public Void checkExpiredReservat(Integer expiredTime);

}
